Implementing Lock-free channels using pointer tagging in Databend's query engine written in Rust
databend.com·6h·
Discuss: r/rust
🧠Memory Management
Automated Beam-On-Time Chipset Validation via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
✅Formal Verification
AI is a Junior Dev and needs a Lead
getparthenon.com·1d·
Discuss: Hacker News, r/programming
🧩Theorem Proving
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·22h·
Discuss: Hacker News
🔧Compiler Design
Switch Statements
learn.microsoft.com·2h·
Discuss: DEV
⚙Functional Programming
A practical introduction to parsing in Rust
jhwlr.io·1d·
Discuss: r/rust
🔧Compiler Design
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.org·3d
🔧Compiler Design
We Found Zero Low-Severity Bugs in 165 AI Code Reports. Zero
shamans.dev·18h·
Discuss: Hacker News, r/programming
🦀Rust
The Debugging Trick That Saves Me Every Sprint
dev.to·4h·
Discuss: DEV
🎲Probabilistic Programming
Umair Shahid: PostgreSQL Database SLAs: Why Hidden Issues Often Break Customer Commitments
postgr.es·21h
🎲Probabilistic Programming
Saleae Analyzer for the BDM protocol
zetier.com·11h
💾Retrocomputing
SPL Lightweight Multisource Mixed Computation Practices
github.com·1d·
Discuss: Hacker News, r/programming
🌍Distributed Systems
Simpler Category Theory
ryanbrewer.dev·21h·
Discuss: Hacker News
🔄Category Theory
pyghidra-mcp: Headless Ghidra MCP Server for Project-Wide, Multi-Binary Analysis
medium.com·1d
🔧Compiler Design
The Ultra Scale Playbook vol-2: Data Parallelism
jaisidhsingh.bearblog.dev·12h
🔧Compiler Design
How to Build a Compiler: A Step-by-Step Outline for Creating a custom compiler in C from scratch
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Stringly Typed
hanselman.com·3h·
Discuss: Hacker News
📐Type Theory
In defence of goto: sometimes using goto is ok.
blog.llwyd.io·1h·
Discuss: r/C_Programming
⚖️Logic Programming
Contrasting Data and Objects (2018)
tedinski.com·5h·
Discuss: Hacker News
⚙Functional Programming
Lisp in 99 Lines of C With TinyLisp
hackaday.com·1d
📝Lisp